Portage de l'exemple 9