This is the public repository of Bertrand Florat's files