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