(cf "définit" plus haut)