Mot clé : Démonstration et expérimentation