* !!! PROGRESS FAILS !!! See while_automodif.ml