Gudule est un nom propre qui se réfère à :