Existence by minimisation of solitary water waves on an ocean of infinite depth B Buffoni (2004) Annales de l'I.H.P. Analyse non linéaire