[Ramis] Exemple 12_11