(J'ai modifié PrettyPrint pour avoir .)