Définir le type de vérification pour l'état limite ultime