Théorème CAP et systèmes distribués (compromis entre cohérence, disponibilité et tolérance au partitionnement)