Oui c'est une preuve existencielle non constructiviste que je voudrais. Je sais qu'on a Cauchy-Lipschitz mais j'ai supposé qu'on doit pouvoir simplifier la démo à ce cas simple mais j'arrive pas à voir ce que ça donne car Cauchy-Lipschitz est un peu trop compliqué en substance