Portage de l'exemple 4