$NOT Nous attendons que le détroit atteigne 0,013