Title: La méthode d'éléments finis de Herrmann-Johnson pour les équations de Navier-Stokes stationnaires