Humm sinon il y a une solution assez proche le Zeiss ZE 85mm 1.4, ok c'est une MAP manuelle mais avec assistance des collimateurs ;o)
Le rendu de l'optique est vraiment extraordinaire. Il fait son poids tout comme pour le 85mm 1.2L
Mais je partirais de prime à bord pour la solution 24 F2.8 (460€) + 85 1.4 Zeiss (1150€ ) + 135 F2L (1050€) les prix en neuf

Après il y a moyen de trouver pas mal de solution d'occasion. Ainsi pas loin de 70% de mon parc d'objo est
de l'achat d'occasion en magasin ayant pignion sur rue ou via les petites annonces du forum ;o)

Mais je peux te comprendre que le 40mm STM ( que j'ai aussi depuis peu ) ne soit pas suffisant ;o) surtout avec le 5D MkIII.

Le 17-40mm F4L est l'un de mes chouchou surtout en vacances car léger et très performant dès F4, un AF quasi identique au
16-35 F2.8L mais 2x moins lourd et 2x moins cher :-P

Le 85mm on vient d'en parler

Le 135mm est une valeur sûr, ce sera normalement l'une de mes dernières optiques à acquérir