C'est pourtant pas compliqué du tout.
On va l'appliquer à ton cas.
Tu as cette ligne qui fait un echo pour faire appel à du html, etc, etc...
echo '<meta http-equiv="refresh" content="3;url='.$_SERVER['PHP_SELF'].'?form=corriger&var='.$var.'&var2='.$var2.'">';
En utilisant header(), ça te donnerait
header('Location: '.$_SERVER['PHP_SELF'].'?form=corriger&var='.$var.'&var2='.$var2);