I finally added a second NIC, a spare Realtek RTL8139 I had at hand. Declared as eth1 at 100 MBits. Works fine instantly after I de-activated the AR8131 seen as eth0 and reset the network configuration.
There is definately a problem with AR8131 and Zentyal.
I still hope there can be a better solution : I need gigabit and would like a clean setup. I don't like to have eth0 and eth1 declared when only eth1 works and I only need one for lan.
Thanks for clues, fixes, ideas, suggestions...