Vérifications: aménagements identifiés par le calcul