So, in resume, we have 3 ways to load libraries.
1- Static loading of built-in Library. (example 1)
2- Static Linking of Dynamic Library. (example 2)
3- Dynamic Linking of Dynamic Library. (example 3)
Do you agree with those appellations ?
In essence that's right, but I'd say you mixed up the words "load" and "link"

Namely, that's "3 ways to LINK libraries", and under "1" it's static linking, not static loading. That description better fits "2", because static libraries are linked on compile time, while dynamic libraries are loaded and linked at runtime.