Grover

D'un patronyme signifiant « bosquet d'arbres » de l'ancien anglais graf. Un porteur célèbre a été le président américain Grover Cleveland (1837-1908), qui a popularisé le nom aux États-Unis à la fin du XIX^e siècle. Le nom est désormais associé à un personnage muppet du programme télévisé pour enfants « Sesame Street ».