En tant qu'architecte logiciel principal, conçois la spécification technique d'un système distribué de traitement de transactions financières. Le système doit garantir une cohérence forte (ACID) tout en supportant une partition réseau (théorème CAP). Décris en détail le choix des algorithmes de consensus, la stratégie de réplication des données et le mécanisme de tolérance aux pannes. Inclus des diagrammes de séquence textuels et une analyse comparative des compromis entre l'utilisation de Paxos versus Raft dans ce contexte spécifique.