définition ou déduction