version algorithme : oui
version « français » : pas tout à fait : la formulation « remplir cet espace vide » est ambigüe/incorrecte car il n'y a pas, strictement parlant, d'« espace vide à remplir » ; mais comme dit ci-dessus, la version mathématique de l'algorithme est claire et correcte (de ce point de vue).
Attention cependant à un détail : votre notation de la partie entière n'est pas standard et donc ambigüe (il ne faut pas confondre et
) ; en cas de doute, précisez par un commentaire (p.ex. ici : « partie entière » en fin de ligne)