Différentiabilité de la composition et complétitude de certains espaces fonctionnels. Willi Bucher — 1968 Commentarii mathematici Helvetici