Gilles Dowek: at the crossroads of computer science, logic and philosophy