Les modèles sont-ils vérifiés ?