ajout package exo7 -- vide