[Observe-commits] 05/12: affichage des boutons dans la liste des marées