Factorise le trinôme x² − 7x + 12.