[Petite astuce du jour] Voici une petite fonction en PHP sans prétention pour récupérer le favicon