Steady states bifurcations for the Kuramoto-Sivashinsky equation - a computer assisted proof