The Inria SELECT team (2004-2018) is no more. This page will automatically direct to the new Inria CELESTE team's website in 5 seconds.