Detailed Jarzynski equality applied to a logically irreversible procedureA. Bérut, A. Petrosyan and S. CilibertoEPL, 103 6 (2013) 60002DOI: https://doi.org/10.1209/0295-5075/103/60002