Bonjour, Une démonstration par récurrence peut-être?