text_processed: je remercie tous les collègues qui ont apporté de brèves contributions à ce qui ressemble à vrai dire à un minidébat sur la question en ce compris les collègues qui désapprouvent le choix qui a été fait