[fr] Lemme d'empilement

[it] Teorema dell'impilamento