Exemple d'identification d'un dysfonctionnement que nous avons rencontré lors de la vérification d'une des exigences concernant le gain du projet Lévitator.