Tous les jours, Hervé va manger dans un restaurant à côté de son lieu de travail. Voici le prix qu'il paye chaque jour de la semaine pour son repas.

Lundi : 11,50 €

Mardi : 10,50 €

Mercredi : 14 €

Jeudi : 13,50 €

Vendredi : 10,50 €

Combien, en moyenne, un repas au restaurant lui a-t-il couté cette semaine ?