Utilisation des assertions pour détecter les erreurs internes (comportements inattendus)