Code source PHP
Obtenir le poids d'un fichier
Retour à la page précédente pour choisir une fiche PHP
<?php
echo filesize("fichier.txt")
?>
761