Dérouler une file circulaire

Mesuré, sur la structure du cours :

apres 10,20,30       debut=0 n=3  file=[10 20 30]
                     tableau=[10 20 30 . . . . .]
apres 2 defilages    debut=2 n=1  file=[30]        (on a obtenu 10 puis 20)
                     tableau=[10 20 30 . . . . .]  (rien n'est efface)
apres 40..100        debut=2 n=8  file=[30 40 50 60 70 80 90 100]
                     tableau=[90 100 30 40 50 60 70 80]

Trois observations, et elles sont tout l'intérêt de la structure.

• Défiler n'efface rien. La case $0$ contient toujours $10$ après le premier défilage : ce qui change, c'est debut, pas le tableau. Une case « libre » est une case que personne ne regarde, et c'est suffisant.
• Le contenu logique ne se lit pas dans l'ordre du tableau. La file est $30,40,\dots ,100$ alors que le tableau porte $90,100,30,40,\dots$ : l'élément de rang $k$ est en case $(\text{debut}+k)\mathrm{mod}\text{CAPACITE}$. Le tableau est une représentation, pas la structure.
• On a bien logé huit éléments dans huit cases, en ayant enfilé dix valeurs au total. Le tableau se réemploie indéfiniment ; c'est ce que le décalage naïf, en $O(n)$ par défilage, ne permet pas.

L'invariant à écrire dans le code : $0\le \text{debut}<\text{CAPACITE}$ et $0\le n\le \text{CAPACITE}$, et les éléments occupent les cases $\text{debut},\dots ,(\text{debut}+n-1)\mathrm{mod}\text{CAPACITE}$. Tout le reste — les deux assert du cours — en découle.