[Séquents+de+Gentzen.jpg]