roti porc pommes de terre