probleme d'integration de module mathlib

Version imprimable