diff options
Diffstat (limited to 'divers')
| -rw-r--r-- | divers/idees.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/divers/idees.txt b/divers/idees.txt index b314948..f98ec20 100644 --- a/divers/idees.txt +++ b/divers/idees.txt @@ -1 +1,3 @@ chercher une macro \marge + +faire une macro \pref{}=\ref{},p. \pageref{}. |