According to this 2019 city report, the official name is Jardin de Laninon (adress 20 rue Pierre Loti)
https://www.brest.fr/fileadmin/imported_for_brest/fileadmin/Documents/publications/Voeux_QuatreMoulins_HD.pdf