text: # platineur
  
  ## Français
  
  ### Étymologie
  
      Dérivé de platiner, avec le suffixe -eur.
  
  ### Nom commun
  
  platineur \pla.ti.nœʁ\ masculin
  
  * Dans les manufactures d’armes, ouvrier qui fait les platines.
  