Impact sur l'environnement des pollutions dues à des établissements industriels: cas des émissions de fluor et des effets de la pollution sur les bâtiments et les monuments.