Problème résolu, en effet, il fallait remettre les balises php et l'extension .php.
Un grand merci

Non, le fichier est .inc et je n'ai pas remis les balises php, car elles sont présentes dans le fichier "receveur".
Je vais tenter de changer l'extension.

Merci, mais çà ne marche pas...

Voila mon problème : j'ai un programme php qui contient des fonctions javascript définies sur place. Une de ces fonctions utilise des variables php du programme. Mon code est alors : echo "\n\n<SCRIPT LANGUAGE='JavaScript'> function fin (form) { form.numpage.value = ".ceil($total/$nombre)....