My webpage has moved here:https://members.loria.fr/evincent/.