ajout de la clause provide