rendre l'implicite explicite