There's no mention of that at all in the "How can I delete a domain?" section though. Guess what normal people (like me) google when they want to remove an domain? "Delete domain gandi" or "Remove domain gandi", which ends you up here:

https://docs.gandi.net/en/domain_names/faq/deletion.html