GPG Keys
Mails :
gabriel at desfrene.fr
gabriel.desfrene at ens.psl.eu
Stages :
Été 2023 : ROBDD-in-Why3