Title: Allocation optimisée de registres en contexte local et global