Ce serait pratique d'avoir un paramètre dans config.php pour ajouter une favicon personnalisée dans le <head>.
<head>