Original location:
http://www.pps.jussieu.fr/~vouillon/coinst/