Le Galaxy S4 Mini est un téléphone tout à fait décent, même pour les standards actuels : un appareil photo de 8 mp (et 1.9 frontal) avec la possibilité de capturer des vidéos 1080p, à 30fps, 8 Go de ROM et près de 2 Go (en fait, 1,5) de RAM, et une taille d'écran décente.
Cependant, son programme de mise à jour officiel ne permet de mettre à jour le système d'exploitation que jusqu'à Android Kitkat (4.4.2). Ce n'est pas exactement un problème majeur, étant donné qu'il s'agit d'une version d'OS assez légère et (encore) capable, mais je comprends le manque de certaines commodités que les nouvelles versions d'Android apportent avec elles, par rapport à Kitkat.
Votre meilleure option est en effet de flasher une image ROM personnalisée dans votre Galaxy, un processus effrayant et intimidant dans le passé, mais une technique courante de nos jours pour les personnes qui veulent tirer le meilleur parti de leurs vieux appareils.
Pour chaque ROM personnalisée, il y a une version différente d'Android, et le choix de la version avec laquelle aller est entièrement à vous. Je suggérerais de s'en tenir à Android 5.0 ou 5.1, car même si elle peut également être considérée comme une "ancienne" version d'Android, parmi les versions plus récentes, elle bénéficie de niveaux décents de compatibilité avec les anciens modèles de smartphones, tout en étant moins exigeante en termes d'utilisation des ressources. Des ROMS comme AOSP, ou LineageOS (anciennement CyanogenModOS) peuvent vous fournir la bouffée d'air frais dont votre téléphone a besoin.
Vous pouvez trouver quelques guides et tutoriels détaillés et faciles à utiliser sur le forum XDA Developers ci-dessous, un de mes favoris personnels pour les problèmes et questions liés à la personnalisation d'Android.
Samsung Galaxy S4 Mini Forum sur XDA Developers
J'espère vous avoir aidé, et un upvote est toujours apprécié ! 😀