Calculs liés à la définition