At the url http://www.pps.jussieu.fr/~miquel/soft.html.