Question : la font pourrait-elle être packagée séparément ? Genre non compressée dans /system ou que sais-je ? Histoire que si l'on veut builder PedroM sans SIDE un jour, mais avec man, ça marche toujours ?

Je ne sais pas si c'est une bonne solution par contre.

Et puis elle est tellement géniale cette fonte ! Tous les avantages de la petite avec les avantages des grandes, sans le moindre inconvénient !