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