Ivette: server not running error

Hello,

I understand frama-c-gui is not available anymore for MacOSX, so I tried to move to Ivette.

I performed a fresh install of frama-c on my laptop (MacBookPro Apple M1 Max with macOs Sonoma). using brew + opam, following the official guidelines https://frama-c.com/html/get-frama-c.html

Unfortunately, for the moment I am unable to use the new editor Ivette, I cannot add any source file to the workspace.

There is a red blinking dot plus a warning sign at the bottom left of the editor but I do not know how to interpret that.

When I open developper tools, I can see an error "Server not running" but I do not know which Server should be running.

Below is a screen shot of the problem

What is the procedure to start the frama-c server required by Ivette? Any help appreciated.