Recursif

salut tt le monde,voila jai un petit probleme,
on considere par exemple une fonction marcher() definit comme suit
void marcher()
{un_pas_en_avant()
marcher()
}
cette fonction fait appelle a elle meme et devrait boucler infiniment(a mon avis car ya pas de condition darret)
mais dautre pensent quel va sarreter car la pile dexecution est fini,moi jy comprends rien
pleaz help