Source: https://www.lsv.fr/~dowek/Philo/langagelangage.pdf