Résultat mélangé aprés chaque actualisation

<?php
	//Le tableau a afficher
	$tabBrut = array('Entree 1','Entree 2','Entree 3','Entree 4','Entree 5','Entree 6','Entree 7','Entree 8','Entree 9','Entree 10','Entree 11','Entree 12','Entree 13');
	//Le tableau dans lequel on récupère les index déja affichés
	$tabTrie = array();
	$tabLength = count($tabBrut);
	for($i = 0; $i < $tabLength; $i++){
		$indexMax = $tabLength - 1;		
		$index = rand(0, $indexMax);
		if (!in_array($index, $tabTrie)){
			echo $tabBrut[$index] . '<br />';
			$tabTrie[] = $index;	
		}else{
			$i--;
		}
	}
?>