RISSET TANGUY

Data processing device, chain and method, and corresponding recording medium for dividing a main buffer memory into used space and free space