[fr] Arithmétique vraie

[ja] 真の算術