La sémantique de la boucle ```for``` est définissable en terme de boucle ```while```: 

```c
for (e1 ; e2; e3) {
 …
 }
 ```
 Devient
 
 ```c
 e1 ;
 while (e2) {
  …
  e3;
 }
 ```