Agis en tant qu'expert en algorithmique. Voici une fonction en Python qui calcule les paires de somme dans un tableau. Elle fonctionne mais a une complexité temporelle O(n^2). Analyse le code suivant, identifie les goulots d'étranglement et réécris-la pour atteindre une complexité O(n) ou O(n log n). Explique chaque étape de ta réflexion, le choix des structures de données utilisées et fournis le code final optimisé avec des commentaires détaillés.