float disk_total_space (string directory) disk_total_space() lit récursivement toutes les tailles
du dossier directory et retourne la
somme. directory peut être aussi une partition
de disque.
Exemple avec disk_total_space()
<?php
$df = disk_total_space("/"); // $df contient le nombre d'octets libres
// dans le dossier "/"
?>
