text_processed: le meilleur hommage que l'on puisse rendre probablement à ce débat consisterait dans quelques années à dire que nous avons perdu beaucoup de temps sur un débat de justice qui s'est avéré ensuite sans aucune importance dans la pratique