diff --git a/DOCS/French/documentation.html b/DOCS/French/documentation.html index 82e388e977..fbc6478766 100644 --- a/DOCS/French/documentation.html +++ b/DOCS/French/documentation.html @@ -1086,6 +1086,12 @@ La liste compl astuces: