MUCHISIMAS GRACIAS, JOSEMI!!
Ahora sí que funciona

!!!
Resulta que la "clave" era que la web tenía extensión
html y no
php, porque yo creía que con los simbolos "<?" y "?>" ya era suficiente para que el server interpretara el código php aunque estuviera en una web .html, y resulta que no, que tiene que tener extensión .php aunque tenga el 90% en "lenguaje html"

.... en fín, que soy un pardi que ya sabe una cosa más (y no se me olvidará

).
Muchas gracias de nuevo.
Salu2

.
http://laespadadejoujimbo.iespana.es