ajout semantique opérationnelle de For

CtrlBlanc/semOpFor.md

@@ -0,0 +1,16 @@
+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;
+ }
+ ```