Changements pour #389

Les instructions qui suivent un “désactiver ce programme” sont en rouge
et une tooltip signale qu’ils ne vont pas s’executer. A voir si ce
comportement convient.