Enlevé les quantifications universelles implicites superflues à mon sens et au sien, comme disait Ghandi
Meme typos que maxime, again