Edit the link of the site’s logo

Given the number of views and responses, it looks like this forum is dead.

the answer is not theme specific, as long as the theme uses the custom logo https://developer.www.ads-software.com/reference/functions/get_custom_logo/ :

try to add this into functions.php of a child theme:

function user_defined_logo_url( $html ) {

	$logo_url = esc_url( home_url( '/' ) );
    $switch_logo_url = esc_url( 'https://www.microlinux.fr/' );   
	$html = str_replace( 'href="'.$logo_url, 'href="'.$switch_logo_url, $html );
	return $html;
}

add_filter( 'get_custom_logo', 'user_defined_logo_url' );