Supersonic flow around the space shuttle:
an insufficient discretisation of physical
laws has been automatically detected by an a-posteriori error indicator and improved.