Mentions légales du service

Skip to content
Change the way the library are used: now we are using the directory onto which they are installed (by 'make install' and similar commands). Some libraries have also been updated (Petsc most noticeably).