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