Crédit Coll. part. Cătălin Hriţcu lauréat 2016 de la bourse ERC Starting Grant. Mon ambition, faire de la compilation formellement sécurisée une réalité.
