la bibliothèque utilisée dans l'exo 3