Sources for these materials are available on https://github.com/bootlin/training-materials/ You are free to copy and modify them according to the terms of the Creative Commons Attribution Share-Alike version 3 license. See http://creativecommons.org/licenses/by-sa/3.0/