Comparative analysis on the nature of proof to be taught in geometry: the cases of French and Japanese lower secondary schools