verification_formelle_a_traiter