La version la plus récente de cette page est ici : https://people.irisa.fr/Pierre.Maurel/