Définition(s) du mot HILBERTIENHILBERTIENNE