To export contacts, go to the CRM module (at Global level) -> Contacts.
In the list of all contacts, select one or several contacts by ticking the checkboxes, then click on the Actions menu of any participant and select the "Export" option.
A progression bar will appear at the top of the screen, you can download the newly created file once it reaches 100%.