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