Update AUTHORS (#7123)

diff --git a/AUTHORS b/AUTHORS
index e3f115f..af2c2d9 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,3 +11,4 @@
 Günter Zöchbauer <guenter@gzoechbauer.com>
 Raju Bitter <rajubitter@gmail.com>
 Michael Beckler <mcbeckler@gmail.com>
+Alexandre Ardhuin <alexandre.ardhuin@gmail.com>