text: # petit gris
  
  ## Français
  
  ### Étymologie
  
      Composé de petit et de gris.
  
  ### Locution nominale
  
  petit gris \pə.ti ɡʁi\ masculin
  
  * (Bourgogne) (Mycologie) Tricholome couleur de souris (Tricholoma myomyces).
  * (Lorraine) (Mycologie) Tricholome prétentieux (Tricholoma portentosum).
     * Je serais impardonnable d’oublier le petit gris, dont le nom scientifique, tricholoma portentosum, est assez rébarbatif. — (Le Pays lorrain, volume 14, 1922)
  