Compression a priori finie