Puzzles commented by Frama