You are perfectly right: I should use polynomial rather than function !

I've fixed the mistakes and produced a

new version .

Seems polynomial x^2-3 has also interesting properties.

So, is there a miracle ? or are these properties an evident consequence of some well-known theorem I'm not aware of ?

Thanks for your comments !

Tony