The new location is http://Coccinelle.lip6.fr/>