@@ -41,7 +41,7 @@ On appelle *écriture quasi-binaire* (ou qb-écriture) d'un nombre entier sa dé
- Ecrire une fonction `decomp` qui donne l'écriture quasi-binaire de tout nombre entier `n`. Peut-on avoir plusieurs écritures quasi-binaires du même nombre ?
- Ecrire deux fonction `next` et `pred` qui font passer de l'écriture quasi-binaire d'un nombre à celle de son successeur et de son prédecesseur, sans chercher à reconstituer les nombres en question, et le tout en temps constant.
- Ecrire deux fonction `next` et `pred` qui font passer de l'écriture quasi-binaire d'un nombre à celle de son successeur et de son prédecesseur, sans chercher à reconstituer les nombres en question, et le tout sans récursivité (pas de `Fixpoint`).
On admet que la qb-écriture de `n` est une somme dont le nombre de termes est logarithmique en fonction de `n`.
