http://www.lsv.ens-cachan.fr/~bollig/alcs/
