réduisons $SOL