Yep!
J'avais à une époque un peu fait le tour des cartes 32 bits. Egalement en recherche d'un peu plus de puissance pour un projet spécifique, j'avais longuement bavé sur la STM32...
Il y a aussi les PIC32 bits (format DIP existant 
)
Il m'arrive de surfer de temps à autres sur mouser.com
@+
Zoroastre.