J'ai regardé la solution
M'enfin je ne voyais pas trop par où aller à part que je trouvais bien que ça sentait l'axiome du choix ^^ (qui décidément est toujours aussi puissant)