(untitled) - 20131220h20132013k y0frey0103 ba; Centre d'ontologie formelle et de logique développementale Bruxelles