un contrôle de cohérence rapide