Quelques correction sur les types et les fonctions.