A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE - Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe (SIAM Journal on Applied Dynamical Systems, 2017)