Ajout des assertions