salut
je suis tres heureux d appartenir a votre forum de discusion, je suis etudiant et debutant dans la programmation. j aimerais votre aider sur la maniere dont je pourrais ecrire ce programme. je vous presente l exercice:

Compter le nombre de zéros dans le tableau x. (Code compilé qui ne change pas la valeur de x, après l'exécution de laquelle la valeur d'une variable entier égal au nombre de zéros entre les composantes de la matrice x.)
Décision
...
{invariant: k = nombre de zéros parmi les x[1] ... x [i]}
...

merci pour toute votre aide...