précipité gazeux Synonym