title = Représentations formelles et conversions

