Définition Grossier

Définition de grossier