programme invariants type tab : tableau 1..100 de entier; fonction recherchelin(val cible: entier; ref T: tab) : booleen var i:entier debut i:=1; /* si 1<=jcible alors j:=k-1 sinon si T[k]