(prog.formel.while)= # Boucle while