Welcome to Pascal Koiran's web page