Puissance coffret EDF

Bonjour,
voila nous allons emmenager dans notre nouvelle maison dans 2 mois environ. les travaux en sont au stade de l'électricien, donc ma question est la suivante:

pour une maison 105m² comportant:
- 6 radiateurs standards
- 1 cumulus 300L
- 1 clim reversible (installer plus tard)
- un éclairage standard
- 1 plaque induction 3 foyers
- 1 hotte
- 1 four
- 1 micro-ondes
- 1 frigo+congèl
- 1 congélateur top
- 1 lave vaiselle
- 1 machine à laver 9kg
- 1 sèche linge 5kg
- 1 piscine hors sol en bois 5.5x3.5m

mon électricien me dit qu'avec un abonnement edf de 9KVA ca suffit largement. pour que ca disjoncte il faudrai tout allumer en même temps et tout à la puissance maxi: clim en chauffage maxi, induction sur les 3 foyers à fonds .............. il a rajouter que edf se garde bien de nous dire cela et en profite même pour nous vendre du 12KVA voire plus alors que dans beaucoup de nos cas du 9KVA suffit. Il est vrai que la plupart des maisons neuves que je connais disposes du 12KVA sans jamais le faire disjoncter. donc je me dit que du 9KVA devrai suffir.

Je pose tout de même la question sur ce forum pour avoir votre avis, car ça me parait être juste avec du 9KVA, ou bien c'est une fausse idée que je me fait.

Merci de vos réponses et de vos retours d'expérience.

Bonne soirée