marquer un temps d’arret avant un header location en PHP

voici comment marquer un temps d’arret avant un header location en PHP

<?php header("Refresh: 10; URL=http://site" ); ?>