Bonjour,
Lorsque tu regardes le code source de ta page (depuis ton navigateur), qu'est-ce qu'il y a écrit au niveau de cette ligne-là ?
N'oublie pas que le php est interprété au niveau du serveur, c'est à dire au moment où la page est envoyée au client, AVANT l'exécution de ton javascript.
Par ailleurs, lorsque tu mets
document.location="Resultat.php3?var1="+form1.total.value+"&var2="+$variable;
Es-tu dans un bloc <?php ?>, avec un "echo" devant la ligne ?
Si non, aucune chance que $variable ne soit remplacé par sa valeur ! C'est pour ça que je te demande le code source généré. Si tu vois toujours le $variable , c'est que tu n'étais pas dans un bloc php...
Remplace donc ton
document.location="Resultat.php3?var1="+form1.total.value+"&var2="+$variable;
par un
document.location="Resultat.php3?var1="+form1.total.value+"&var2=<?= $variable ?>";
Xavier