[fr] Automath

[nl] Automath