Typage des instructions boucles.