fin de l'exemple