Update doc/sphinx/addendum/extended-pattern-matching.rst
Update doc/sphinx/addendum/extended-pattern-matching.rst

Co-Authored-By: Théo Zimmermann <e1d8818cf57db40c64760cc1689d30471aa2e406@gmail.com>
silene/coq,gares/coq,gares/coq,ejgallego/coq,silene/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,JasonGross/coq,SkySkimmer/coq,gares/coq,coq/coq,ejgallego/coq,Zimmi48/coq,Zimmi48/coq,gares/coq,ejgallego/coq,JasonGross/coq,silene/coq,JasonGross/coq,coq/coq,gares/coq,coq/coq,ejgallego/coq,SkySkimmer/coq,JasonGross/coq