For some reason (the previous one was too old, etc.), I generated a new OpenPGP key.
OpenPGP public key ID : 0xAE5264B5 (0x47F729A6AE5264B5)
OpenPGP public key fingerprint : 7221 4C4F D57C 456F 8E40 3257 47F7 29A6 AE52 64B5
I uploaded it a few minutes ago on several public servers (on pgp.mit.edu for example), so it will be publicly available everywhere soon.