"Pascal Jardin"@cs .