Définitionslaborieuse