Thierry Crouzet

@crouzet À mon avis, un système formel est là pour construire alors que le langage est là pour décrire. Source…