insertion de la bibliothèque Assert