text_processed: même si la double coque n' est pas la panacée c' est une mesure importante susceptible de recevoir des améliorations techniques substantielles et il me paraît très dangereux de disjoindre le calendrier américain et le calendrier européen