La logique de $AAVE .