Puzzles solved by Régis Révan