Ajout de la solution sur les functor units + début d'exemples et d'analyse de la solution