Mariposa, c'est exactement ce que j'avais écrit plus haut (sous une forme un peu différente, j'ai utilisé implicitement la base position).
Puisque l'on parle histoire, je rappelle aussi que l'équation de Schrödinger fut bien initialement posée comme un postulat. Ce n'est que l'insistance des autres physiciens que Schrödinger a expliqué comment il avait trouvé cette équation (approche heuristique). Enfin, c'est Dirac qui a montré l'équivalence avec le formalisme matriciel (qu'on retrouve dans tous les "bons cours", comme celui de Schiff).
Enfin, ce qui a été surtout dit dans ce fil, c'est quoi que l'on fasse, on doit bien postuler quelque chose au départ (ne fut-ce que les relations de commutation dans le travail de Heisenberg (*)). Je suppose que tu n'affirmes quand même pas qu'on peut construire la MQ sans postulat.
(*) ce qui n'empêche pas une origine expérimentale. Heisenberg avait trouvé les règles en analysant les spectres atomiques.
-----