acces.lri.fr:WWW/repos/coq/misc/celebs