Thierry Crouzet

@marpalix

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