/* Ce fichier est intentionnellement laissé vide. */