For this website to work properly, we sometimes place on your device small data files called cookies.
What are cookies?
Cookies are small text files that are saved on your computer or mobile device when you visit a website. They allow the website to store your actions and preferences (such as username, language, font size, and other display settings) for a certain amount of time, so you do not have to enter them each time you visit the site or go from one page to another.
- your display settings, such as menu language, contrast, font size, device, preference for search results and notifications;
- your last visit and last loaded page (for analytics purposes).
The cookie-related information is not used to establish your identity, and the data forms are entirely under our control. Cookies are not used for any other purposes than those listed here.
Third party cookies
We do not allow third parties to send cookies to the users.
How to control the cookies
You are free to control and/or delete cookies. You can delete all cookies already saved on your device, or you can setup most browsers to block them. However, this may require that you manually enter all parameters every time you visit the website, or it may disable some services or functionalities.
The following links can help you if you need further information. You can also use the Help button of your browser for more details.
➥ Cookie settings in Internet Explorer;