vérification formelle 🤌🤌🤌