Suite de mes tribulations :
j’ai appliqué la méthode donnée plus haut par alakhnor sur le fichier category.php pour placer le post 58 en tête de sa catégorie (je n’ai pas touché à l’index.php puisque j’ai renoncé à exclure le post tout seul de l’affichage en page d’accueil et que je me suis contenté d’exclure toute la catégorie).
Résultat : le post 58 se retrouve effectivement en haut de sa catégorie… mais aussi de toutes les autres catégories ! De plus, ce post n’affiche plus ses tags (même problème que celui évoqué dans mon message précédent).