text_processed: en réalité nous nous trouvons dans la situation plutôt bizarre où ceux qui nous ont fait des commentaires semblent convaincus qu'il n'est guère nécessaire d'apporter une quelconque modification au programme autooil