Synthese__Conference_2018_FR