ajout assert