combien coute une toiture en ardoise