Perenon L, Velten H. The effective field theory of dark energy diagnostic of linear Horndeski theories after GW170817 and GRB170817A. Proceedings, 3rd José Plínio Baptista School of Cosmology: The Dark Sector of the Universe (JPBCosmo3): Pedra Azul, Brazil, September 25-30, 2016. 2019;5:138.