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