Statistiques des prénoms Gavroche, Gavriel