Version datée du 2 mai 2024 à 15:08 par Justine(discussion | contributions)(Page créée avec « = Make = La définition de GNU.org donne: {{Blockquote |text=GNU Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. }} »)