[Ramis] Exemple 12_8