Marillat ID's

I'd like to express my sympathy and support after the recent attacks in France.

http://deb-multimedia.org/faq#q9 says that the Marillat public key is
4096R/5C808C2B65558117. It then has this link
http://pgp.mit.edu:11371/pks/lookup?search=marillat&op=index, but that
show an ID of 4096R/65558117.

I suspect the former is just out of date, but thought I'd check what's going on.

Thanks.