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

Ou dire à apache d'interpréter les fichiers .php et .inc

Sur le principe, ca me semble plus sage de mettre <?php ?> même dans les includes. De même je n'aime pas le principe utilisé par certain de ne pas fermer en fin de fichier. Il me semble qu'en cas d'erreur, les numéros de lignes ne sont pas bon.

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.

Si tu vois encore les variables dans le résultat, c'est que le fichier inclus n'est pas interprété. Si le php était interprété, il n'y aurai pas le nom de la variable mais son contenu (au pire rien).

Est que le fichier inclus est bien .php ? et est ce qu'il y a les balises <?PHP ?>

Merci, mais çà ne marche pas...

tu as essayer en faisant une fonction php ou tu places tes variables en paramètres?
Dans le fichier en include.

function mafonction($total,$nombre){
$Valeur = ceil($total/$nombre);
echo "\n\n<SCRIPT LANGUAGE='JavaScript'>
function fin (form) {
form.numpage.value = ".$Valeur.";
form.submit();
}
</SCRIPT>";

}

et tu appelle ta fonction sur les pages que tu veux:

mafonction($total,$nombre);

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).";
form.submit();
}

</SCRIPT>";
Tout va bien jusque là. Ensuite, comme ce script est utilisé par plusieurs de mes programmes, j'ai voulu en faire un fichier à inclure par include(). Et là, au lieu que form.numpage.value prenne une valeur numérique, cette variable prend la valeur .ceil($total/$nombre). ; autrement dit les variables php définies dans le programme principal ne sont plus évaluées.
Visiblement il s'agit d'un problème de passage de variables php vers javascript, mais je ne suis pas assez avancé pour m'en sortir seul.
Merci donc si l'un d'entre vous a la gentillesse de combler mes lacunes...