boucle while avec valeurs décimal dans bash

Version imprimable