Ajout de l'option sampling dans la GUI d'eclipse