Puzzles solved by Ghis