From f8a488a8790ed0296290a7b4ab3d4d61f6f7aec3 Mon Sep 17 00:00:00 2001
From: Moi <guillaume.vizier@polytechnique.edu>
Date: Tue, 26 Feb 2019 09:12:30 +0100
Subject: [PATCH] Add english named commands

---
 fiches.sty | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/fiches.sty b/fiches.sty
index 8b632a1..cd1eba7 100644
--- a/fiches.sty
+++ b/fiches.sty
@@ -478,3 +478,18 @@
 	#1{}
 	\blankitem{#2}
 }
+
+%==============
+% Allow english names for commands
+%==============
+\let\property=\propriete
+\let\lemma=\lemme
+\let\corollary=\corollaire
+\let\theorem=\theoreme
+\let\formula=\formule
+\let\method=\methode
+\let\hypothesis=\hypothese
+\let\example=\exemple
+\let\hint=\indication
+\let\remark=\remarque
+\let\optional=\facultatif