Mignon de porc piqué au romarin, purée à l'ail, sauce moutarde à l'ancienne